| 翻訳と辞書 |
| Andrej Bauer ： ウィキペディア英語版 |
Andrej Bauer
Andrej Bauer (born May 11, 1971) is a Slovenian mathematician at the University of Ljubljana where he holds the title Professor of Computational Mathematics. He does research in logic, constructive and computable mathematics, category theory, and semantics of programming languages. He got his Ph.D. at Carnegie Mellon University in 2000 under the supervision of Dana Scott.〔(Andrej Bauer at Google Scholar )〕
From September to December of 2012 Bauer was a visiting scholar at the Institute for Advanced Study〔(Institute for Advanced Study: A Community of Scholars )〕 where he was invited to join the ''Special Year on Univalent Foundations of Mathematics''.〔(IAS school of mathematics: Univalent Foundations of Mathematics )〕 He contributed significantly to this project〔(Homotopy Type Theory monograph published, coauthored by Andrej Bauer )〕 and helped to produce the document called 'The HoTT Book' which summarized much of the work done during the special year in the new field of Homotopy type theory.〔(Announcement of The HoTT Book, by Andrej Bauer, June 20, 2013 )〕
Bauer is a supporter of using web-based software systems such as GitHub to promote collaborative work by mathematicians–the six-hundred-page HoTT Book being a notable example.〔(Princeton Academics form GitHub Book Club )〕
==References==
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Andrej Bauer」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|